first commit; uploading modified version of llprover