puttingcorrect macros test in unit test for complex inv