Improved pl_true

1. Completely refactored pl_true to use subs.
2. Added parameter 'deep' which can return better results in case of partial interpretations.