comment some assertion about RHS should be created before used, which we should uncomment when we have considered method calls