add test case (multiple initialisation of logical variables), fixed by copy term
avoid expansion of list and scan list, now the scanning phase is done on the reducers