intro to sys prog des

refactored the code
added no-conflict? decomposition