Add checks of predicate arguments

[EvgSkv]

It will take time to implement type inference. In the meanwhile we could have a simpler check: when a predicate is called (including databases) and arguments are used, verify that the predicate has corresponding columns.