Improve gateway handling when inside a loop

Gateways (AND and OR) are not properly joining when are placed inside the loop - sequence flow based loop. THey too early merge the flow and move forward leaving unfinished paths behind.
THis happens due to JoinInstance is not verifying if there is anything else waiting for it and relies only on local counter which in case of a loop is misleading.