PLN will avoid silly inferences by filtering out invalid input atoms (before it just aborted the inference step several times until it found something)
PLN test framework is functional