PROBCORE-307 Created menu item to open predicate view. View is now refreshed when a new formula is entered.
PROBCORE-181 Oszilloscope view is now automatically refreshed when a new formula is entered.