Check timing maybe. It's also possible the timing belt broke (pretty common on these engines) and bent a valve. Maybe they replaced the belt not knowing it wouldn't run afterward.