Store set of disabled instantiated methods in HasMethodCall constraint

This was the reason IsCallee ended up with a bogus set.

Issue #196