Add functions for invoke instruction