Add tests for if-node, rewrite if-node using 'compositeness'