adding option for using pi nodes, fixed bug in error reporting of demand cast checker