Added simple region param inference to EffectChecker.
This copies 2 functions from AssignmentChecker which should be in a base class.