Explicitly write out inference rule for .c.o