First implementation of the Match and Instantiation algorithm