add :validated? to calls
Merge branch 'analyzer-WIP' into compiler-WIP
emit static-call