Sanity Checks implemented. Changed add forced and add forbidden
crossings to use QComboBox.