handle zero-definition variables as trivials, allows trivials to use parameters