Automating Inference For Non–Standard Models