A Static Analysis to Order Instructions of a Concurrent Program