in vivo phosphatase assay evidence used in automatic assertion