fixed bug where new nodes didn't have node(..) predicate
really, super tiny bug fixed: forgot to include node(temp). fact
added conditions on several solver rules