(run-nc n bindings & goals)
Executes goals until a maximum of n results are found. Does not occurs-check.