Revert "Merge https://github.com/MJBradshaw/sem_control"

This reverts commit 0fcb831bcbf2c6effd093c74c6d1771b514cc0ff, reversing
changes made to e9d0084479be57911b2a9ace0032889c1b7f4d3e.