Truncating Meaning Program Analysis