fixes on bugs and checking of method invocation:

fixes on bugs and checking of method invocation:
when verifying callee and caller hierarchy matching,
caller has a constraint that output(return value) should be lower than inputs(parameters).
In regarding to this constraint, callee needs to return something lower than its parameters, which means there is relative ordering relations between parameters and return value in the callee hierarchy. If there is no relative odering relations between them, it is compile-time error.