added detailed comments to prodcons-sem.c