US6986126B2 - Method and Apparatus for Detecting Violations of Type Rules in a Computer Program