Fix issue with stratified tuple enqueuing

Tuples were enqueued at the beginning of the queue instead of its end
Update byte code header to include rule infos
Update parsing of a few programs