Add test case.
Use defining script instead of findProperty in the inferrer.
Implements astypelate in the verifier, optimizes callPropX.
Sorts counters in the inspector.