syntax checking and increasing coverage