Add base of promela file