initial tests for monadic logic with for loops